Approach to Development Metrological Software Test for Verification Intelligent Instrumentation
نویسنده
چکیده
There is considered some methods of metrology testing of intelligent measurement systems. Also there is shown the necessity of simulation of components of measurement channel for investigation of the intelligent functions of the intelligent measurement systems in the accelerated time scale. Developed the metrology software test of temperature measurement channel using thermocouple. The results of measurement systems testing by the developed metrology software test are presented in
منابع مشابه
Reachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملKoşutzamanlı Yazılım Bileşenleri için Bir Otomatik Doğrulama Çerçevesi: VyrdMC
This paper presents VyrdMC, a runtime verification framework for concurrent software components that combines structured testing, model checking, and our runtime refinement checker Vyrd. An execution-based model checker explores for each test case all distinct thread interleavings while Vyrd monitors executions for refinement violations. This combined approach has the advantage of improving the...
متن کاملSuccessful Use of Incremental BMC in the Automotive Industry
Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and automated test case generation are some of the most common applications of automated verification tools based on Bounded Model Checking (BMC). Existing industrial tools for embedded software use an off-the-shelf Bounded Model Checker a...
متن کاملUncertainty evaluation in power measurements with commercial data acquisition boards
The paper deals with the metrological characterization of a digital wattmeter developed by using a personal computer, a shunt, two commercial data acquisition boards and commercial software. The uncertainty of the active power measurements is assessed individually characterizing the voltage channel, the current channel and the phase displacement measurement between the two channels. In particul...
متن کاملA Quagmire of Terminology: Verification and Validation, Testing, and Evaluation
Software engineering literature presents multiple definitions for the terms verification, validation and testing. The ensuing diA~culties carry into research on the verification and validation (V&V) of intelligent systems. We explore both these areas and then address the additional terminology problems faced when attempting to carry out V&V work in a new domain such as natural language processi...
متن کامل